simple integer invariant

简单整型不变量